Presenting Software License Conflicts through Argumentation
نویسندگان
چکیده
Heterogeneously-licensed systems pose new challenges to architects and designers seeking to develop systems with appropriate intellectual property rights and obligations. In the extreme case, license conflicts may prevent a system’s legal use. Our previous work showed that rights, obligations, and conflicts can be calculated. But architects benefit from fuller information than simply (for example) a list of conflicts. In this work we demonstrate an approach for presenting intellectual property results in terms of arguments supporting them. The network of argumentation provides not only an explanation of each conclusion, but also a guide to the tradeoffs available in choosing among design alternatives with different licensing results. The approach has been integrated into the ArchStudio software architecture environment. We present an illustrative example of its use.
منابع مشابه
Persuasive Argumentation in a Medical Diagnosis Tutoring System
An important problem in intelligent tutoring systems and decision support systems in general concern the implementation of a convincing argumentation dialog between the system and the student or the user. The requirements for a convincing argumentation dialog can vary depending on the kinds of conflicts that arise in the exchanges between the system and the user. In this paper we discuss an app...
متن کاملA Demonstration of the MARKOS License Analyser
The MARKOS license analyser is an innovative application of the latest version of the Carneades argumentation system, for helping software developers to analyse open source license compatibility issues.
متن کاملOn extended conflict-freeness in argumentation
This paper studies a possibility to represent n-ary conflicts within an argumentation framework having only binary attacks. We show that different instantiations of the abstract argumentation framework defined by Dung use very similar constructs for dealing with n-ary conflicts. We start by studying this procedure on two fully-instantiated systems from the argumentation literature and then show...
متن کاملCombining Rules and Ontologies with Carneades
The Carneades software system provides support for constructing, evaluating and visualizing arguments, using formal representations of facts, concepts, defeasible rules and argumentation schemes. This paper illustrates how rules and ontologies can be combined in Carneades with a prototype legal application for analyzing open source software license compatibility issues in particular cases.
متن کاملFirewall configuration: An application of multiagent metalevel argumentation
Firewalls are an important tool in the provision of network security. Packet filtering firewalls are configured by providing a set of rules that identify how to handle individual data packets that arrive at the firewall. In large firewall configurations, conflicts may arise between these rules. Argumentation provides a way of handling such conflicts that illuminates their origin, and hence can ...
متن کامل